<template>
    <div class="todo-footer">
        <label>
            <input type="checkbox" v-model="isCheckeAll" />
        </label>
        <span>
            <span>已完成{{ selCount }}</span> / 全部{{ todos.length }}
        </span>
        <button class="btn btn-danger" @click="deleteSel">清除已完成任务</button>
    </div>
</template>

<script setup lang="ts">
import type { TodoMode, TodosModel } from '@/App.vue'
import { computed } from 'vue';
// 不加TS类型的时候
// const props = defineProps({
//     todos: {
//         type: Array,
//         required: true
//     }
// })

interface propsModel {
    todos: TodosModel,
    changeCheckAll: (bool: boolean) => void,
    deleteSel: () => void

}
// defineProps 目的是接收数据的,接收数据,我们可以写在参数的位置,那么此时,这个泛型函数,把类型推论出来了
//    defineProps目的是为了接参,同时能够规定数据类型
// defineProps 加TS的时候,已经规定好接收的类型了,所以参数不用写了,这个已经规定好接收的类型了
// 加TS类型
const props = defineProps<propsModel>()
// props.todos   在模板中可以直接写todos,是vue给优化了
// props是一个对象,对象下面的属性是todos

// const props = defineProps<{ // 这个是props的限定类型的interface直接写在大括号当中了
//   todos: TodosModel
// }>()

// 选中个数
const selCount = computed(() => {
    return props.todos.reduce((prev: number, item: TodoMode) => {
        // return prev + item.isSel  // 飘红，因为不同类型加载一起
        return item.isSel ? prev + 1 : prev
    }, 0)
})
// 全选状态
const isCheckeAll = computed({
    get() {
        return selCount.value == props.todos.length && props.todos.length != 0
    },
    set(value) {
        props.changeCheckAll(value)
    }
})
</script>

<style  scoped>
/*footer*/
.todo-footer {
    height: 40px;
    line-height: 40px;
    padding-left: 6px;
    margin-top: 5px;
}

.todo-footer label {
    display: inline-block;
    margin-right: 20px;
    cursor: pointer;
}

.todo-footer label input {
    position: relative;
    top: -1px;
    vertical-align: middle;
    margin-right: 5px;
}

.todo-footer button {
    float: right;
    margin-top: 5px;
}
</style>